国产精品99精品久久免费,久久精品欧美日韩精品,成人区人妻精品一区二区不卡视频

TranslationMobile

硬件驗證

"hardware" in Chinese : 〔集合詞〕 1.五金器具；金屬制品。 2.( ...
"verification" in Chinese : n. 1.證實，證明，確定；核驗，驗證，核對；檢驗，校驗 ...
"verification hardware" in Chinese : 硬件驗證
"hardware verification technique" in Chinese : 硬件檢驗技術
"verification" in Chinese : n. 1.證實，證明，確定；核驗，驗證，核對；檢驗，校驗。 2.【法律】訴狀 ...
"hardware" in Chinese : 〔集合詞〕 1.五金器具；金屬制品。 2.(計算機的)硬件；(電 ...
"hardware hardware" in Chinese : 五金用品
"163．verification" in Chinese : 核對
"account verification" in Chinese : 會計鑒定; 帳目鑒定
"adequate verification" in Chinese : 充分的核查
"algorithm verification" in Chinese : 算法驗證
"amplified verification" in Chinese : 擴大的核查; 擴大核查
"asking for verification" in Chinese : 請求確認
"base of verification" in Chinese : 三角網(wǎng)的基準面
"busy verification" in Chinese : 占線證實

Examples

We verify the correctness of software in this co - verification platform , then use this correct software to verify the correctness of chip in the hardware verification platform
Rtos通過修改硬件抽象層，把文件輸出重定向到新的顯示終端，就實現(xiàn)了異構平臺上的仿真。
A widely distributed software package that supports the formal verification of distributed systems - is an example of temporal logic model checking for hardware verification
一種支持分布式系統(tǒng)的正式驗證且廣泛發(fā)布的軟件包是用于硬件驗證的時態(tài)邏輯模型檢查的示例。
Md32 verification is implemented in both fpga hardware verification platform and software verification platform , which achieve unit , architecture and system verifications . md32 processor can be sufficiently verified on these platforms
通過軟平臺中的單元驗證、結構驗證、系統(tǒng)驗證等步驟，以及基于fpga的硬平臺驗證，保證了md32處理器的正確性和完備性。
The main process includes following : system design , module design , function simulation , time simulation and hardware verification . the whole system is divided into several modules and each module is connected by signals , which based on the arithmetic of uart and the requirement of design . the module design is to design inner circuit structure of each module and uses verilog language to code the code
系統(tǒng)設計是基于uart的實現(xiàn)算法和設計指標要求，對系統(tǒng)劃分模塊以及各個模塊的信號連接;模塊設計是設計出每個模塊的功能，并用verilog一hdl語言編寫代碼來實現(xiàn)模塊功能;功能仿真和時序仿真使用的工具是以dence的nc _ veri109 ，首先對系統(tǒng)的每個模塊進行功能和時序仿真，仿真通過之后，將整個系統(tǒng)的代碼在外部的輸入端口加上激勵，對整個系統(tǒng)進行功能和時序仿真;硬件驗證是用fpga對系統(tǒng)進行了功能驗證。